import atom.UnaryAtom;
import formula.BinaryFormula;
import formula.UnaryFormula;
import literal.UnaryLiteral;
import sign.FormulaSign;

public class show {
    public static void main(String[] args) {
        UnaryFormula p1=new UnaryFormula(new UnaryLiteral(new UnaryAtom("p1"),false));
        UnaryFormula p2=new UnaryFormula(new UnaryLiteral(new UnaryAtom("p2"),false));
        BinaryFormula f1=new BinaryFormula(FormulaSign.EXIST,p1,p2);
        System.out.println(f1);
    }
}
